You have chosen Pindar, Gerhard Gentzen and Gerhard Gentzen.
All three must be different; choose another philosopher.